I denne oppgaven gir vi et overblikk over meldingsapplikasjonene, Crypho og Signal, som bruker ende-til-ende-kryptering med symmetrisk kryptering. Vi bruker en spill-basert metode til å undersøke sikkerheten til kanaler ...